Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
151	Text and Data Mining: Technologies Under Construction WHO’S INSIDE Accenture American Institute of Biological Sciences Add to Reading List Source URL: www.copyright.com Language: English - Date: 2016-02-09 11:47:05 Business intelligence Formal sciences Data management Natural language processing Text mining Prescriptive analytics Analytics Data mining Unstructured data Big data Data analysis Data science
152	Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Prolog Logic programming Model elimination Mathematical logic E theorem prover First-order logic Lean theorem prover Automated reasoning
153	How invariants help writing loops Author: Sander Kooijmans Document version: 1.2 Why this document? Did you ever feel frustrated because of a nasty bug in your code? Did Add to Reading List Source URL: gogognome.nl Language: English - Date: 2016-07-04 14:55:09 Sorting algorithms Formal methods Theoretical computer science Edsger W. Dijkstra Hoare logic Static program analysis Dutch national flag problem Algorithm Quicksort Recursion Invariant Loop invariant
154	Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal Ewen Denney, Ganesh Pai and Josef Pohl SGT / NASA Ames Research Center Moffett Field, CA 94035, USA Email: {ewen.denney, ganesh.pai, josef.po Add to Reading List Source URL: ti.arc.nasa.gov Language: English Avionics Safety engineering Safety Risk Systems engineering Hazard analysis Safety case Unmanned aerial vehicle Functional safety Autopilot System safety Avionics software
155	Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-13 14:10:53 Formal methods Logic in computer science Theoretical computer science Hardware verification languages Aspect-oriented software development Formal verification Model checking Abstraction E Communications protocol Modularity Construction and Analysis of Distributed Processes
156	The Third ACM SIGSPATIAL International Workshop on Analysis for Big Spatial Data Dallas, Texas, USA - November 4, 2014 Varun Chandola SUNY Buffalo, USA Add to Reading List Source URL: www.sigspatial.org Language: English - Date: 2015-09-12 15:27:38 Formal sciences Cartography Big data Data management Technology forecasting Transaction processing Geographic information system Analytics Oracle Spatial and Graph Esri CyberGIS
157	SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent Ma Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:26 Abstract interpretation Software testing AbsInt Fluctuat Astre Formal methods Radhia Cousot Static program analysis Patrick Cousot Formal verification Simulink Polyspace
158	Designer Working in a Trendy Office Add to Reading List Source URL: cdn.webtrends.com Language: English Data management Business intelligence Web analytics Formal sciences Webtrends Big data Analytics Internet of things Data science Data analysis Aster Data Systems
159	JOURNALOF Econometrics ELSEMER Journal Add to Reading List Source URL: econ.ucsb.edu Language: English - Date: 2011-06-16 18:31:52 Estimation theory Statistical inference Formal sciences Time series analysis Econometrics Estimator Statistics Autoregressivemoving-average model Adaptive estimator Regression analysis
160	“Tagging Speech Data” Constraint Grammar Analysis of Spoken Portuguese Eckhard Bick e-mail: web-site: http://visl.hum.ou.dk/ Abstract Add to Reading List Source URL: visl.sdu.dk Language: English - Date: 2005-05-31 07:19:49 Grammar Syntax Corpus linguistics Formal languages Dependency grammar Natural language parsing Constraint Grammar Parsing Phrase structure rules Argument Part-of-speech tagging Portuguese personal pronouns

UPDATE